condense pipe - German English Dictionary